/**
 * @file Terminals.cpp
 *
 *  @date 11 jan 2012
 *  @author calle
 */

#include "Terminals.h"
#include <Helpers/RegProvider.h>
const Terminals Terminals::IDENT("Ident");
const Terminals Terminals::CONSTANT("Constant");

#include <cstdlib>
#include <assert.h>
#include <RandomPkg/Randomizer.h>

Terminals::Terminals(const char* image):
Enumeration<Terminals>(image)
{

}

Terminals::Terminals():
Enumeration<Terminals>(Terminals::CONSTANT)
{


}

Terminals::~Terminals() {

}

Terminals Terminals::getRandomTerminal()
{

	RandomPkg::Randomizer randGen;
	Terminals mode = randGen.createRandom<Terminals>();
	return mode;
}


